« صدق مفروض ، مستلزم صدق عكس نقيض آن است » صغرى و « صدق عكس نقيض مستلزم صدق عكس مستوى است » كبرى « پس صدق مفروض ، مستلزم مستلزم صدق عكس مستوى است ؛ و مستلزم المستلزم مستلزم » . « پس صدق مفروض مستلزم صدق عكس مستوى است » . نتيجه امّا قياس شرطى : اگر مفروض صادق باشد لازمه‌اش آن است كه عكس نقيض آن هم صادق باشد . و اگر عكس نقيض صادق باشد لازمه‌اش صدق عكس مستوى آن است . پس اگر مفروض صادق باشد لازم است عكس مستوى آن هم صادق باشد .